Article 1212

Title of the article

LOGIC AND ALGEBRAIC MODELS AND METHODS IN DESIGNING FUNCTIONAL ARCHITECTURE OF DISTRIBUTED DATA STORAGE AND PROCESSING SYSTEMS                     

Authors

Volchikhin Vladimir Ivanovich, Doctor of engineering sciences, professor, rector of Penza State University, rectorat@pnzgu.ru
Zinkin Sergey Alexandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University, zsa49@yandex.ru 

Index UDK

681.324 

Abstract

The authors suggest a method of software modeling and architectural design for data storage and processing systems and networks. The method is based on a formal description of discrete processes on the structured-term memory. The researchers propose logic-algebraic behavioral models of distributed storage and data processing systems to be used as directly executable specifications. 

Key words

data storage, data processing, formal representations of distributed processes, logical-algebraic approach, networks of abstract machines, distributed behavioral models. 

Download PDF

 

Дата создания: 27.08.2014 08:16
Дата обновления: 27.08.2014 09:11